3996,3996,3996,3996,3996,3996,3996,3995,3995,3995,3995,3994,3993,3993,3992,3992,3992,3991,3991,3991,3991,3991,3991,3991,3992,3993,3994,3996,3996,3997,3998,3999,4001,4002,4004,4007,4008,4012,4015,4018,4019,4020,4020,4021,4021,4021,4021,4020,4019,4018,4018,4018,4018,4018,4018,4017,4016,4015,4014,4013,4010,4009,4006,4004,4001,3997,3994,3993,3993,3992,3992,3991,3991,3991,3991,3991,3991,3991,3990,3990,3989,3989,3988,3987,3984,3982,3978,3977,3975,3973,3973,3972,3970,3969,3968,3966,3965,3964,3963,3963,3963,3963,3962,3962,3962,3962,3961,3961,3960,3959,3959,3958,3957,3956,3954,3953,3952,3951,3950,3949,3948,3946,3942,3940,3936,3935,3935,3934,3933,3932,3931,3929,3927,3924,3921,3917,3913,3908,3902,3900,3899,3897,3896,3895,3893,3891,3890,3889,3888,3887,3886,3885,3883,3882,3881,3878,3876,3874,3872,3870,3868,3866,3865,3864,3862,3860,3858,3857,3856,3856,3855,3854,3853,3852,3851,3850,3848,3847,3846,3845,3844,3843,3842,3841,3841,3840,3840,3839,3839,3838,3838,3838,3837,3836,3835,3834,3833,3832,3831,3830,3829,3829,3828,3827,3826,3825,3824,3824,3823,3823,3820,3819,3818,3817,3817,3817,3816,3816,3815,3815,3815,3815,3816,3817,3817,3818,3818,3819,3819,3819,3819,3819,3819,3819,3819,3820,3820,3820,3820,3820,3820,3820,3821,3822,3823,3824,3825,3827,3827,3828,3829,3829,3829,3830,3830,3830,3831,3832,3832,3832,3832,3832,3832,3832,3831,3831,3831,3831,3831,3831,3831,3831,3831,3830,3829,3829,3828,3827,3825,3825,3824,3824,3824,3824,3824,3824,3823,3823,3822,3822,3820,3818,3817,3817,3816,3817,3817,3818,3818,3820,3820,3818,3817,3815,3814,3813,3812,3812,3812,3813,3813,3814,3815,3816,3816,3817,3817,3818,3818,3819,3820,3821,3822,3823,3823,3824,3824,3824,3825,3826,3827,3828,3829,3830,3831,3832,3833,3834,3835,3835,3836,3836,3837,3838,3838,3839,3840,3841,3842,3842,3843,3844,3844,3845,3845,3846,3847,3848,3848,3849,3849,3849,3849,3849,3849,3849,3849,3849,3850,3850,3851,3852,3852,3852,3853,3853,3854,3855,3856,3857,3858,3859,3860,3861,3862,3864,3865,3866,3867,3867,3868,3869,3871,3872,3873,3874,3875,3875,3875,3874,3873,3872,3870,3870,3870,3870,3870,3870,3870,3870,3869,3868,3866,3864,3863,3863,3862,3861,3860,3859,3856,3855,3854,3851,3850,3850,3849,3848,3848,3847,3846,3844,3844,3843,3842,3841,3840,3839,3839,3838,3837,3836,3835,3835,3834,3833,3831,3831,3832,3832,3833,3833,3833,3833,3832,3832,3832,3832,3833,3833,3834,3834,3835,3835,3835,3835,3836,3836,3836,3836,3836,3837,3837,3837,3838,3839,3840,3841,3842,3842,3843,3844,3845,3846,3847,3847,3848,3849,3850,3851,3851,3852,3852,3852,3852,3851,3851,3851,3850,3850,3849,3848,3847,3846,3846,3845,3845,3845,3845,3844,3844,3844,3843,3843,3842,3841,3841,3841,3840,3840,3840,3839,3839,3838,3838,3838,3838,3838,3838,3838,3839,3839,3839,3839,3840,3840,3841,3841,3841,3842,3842,3842,3842,3842,3842,3842,3843,3843,3843,3844,3844,3844,3845,3845,3846,3846,3847,3847,3848,3849,3850,3851,3852,3853,3854,3854,3855,3856,3857,3858,3859,3860,3860,3860,3859,3859,3859,3857,3857,3857,3856,3856,3856,3856,3856,3856,3856,3861,3862,3865,3866,3867,3868,3869,3870,3872,3874,3875,3876,3878,3880,3881,3882,3883,3884,3886,3888,3892,3896,3899,3902,3904,3906,3907,3908,3909,3912,3917,3920,3921,3922,3923,3925,3928,3930,3935,3938,3940,3941,3943,3944,3946,3948,3950,3953,3957,3959,3961,3962,3963,3964,3964,3965,3966,3967,3968,3971,3972,3974,3975,3977,3979,3980,3981,3982,3983,3984,3985,3986,3987,3988,3989,3990,3990,3991,3991,3992,3992,3993,3994,3994,3995;912,913,914,915,916,917,918,919,920,921,922,922,924,925,926,929,930,932,933,935,937,939,941,942,946,947,952,958,960,963,964,965,967,968,969,971,972,975,977,980,981,982,984,985,987,991,993,1001,1001,1004,1006,1009,1012,1014,1017,1020,1023,1025,1027,1028,1031,1032,1033,1034,1037,1041,1045,1047,1049,1051,1054,1058,1060,1065,1068,1072,1077,1083,1087,1090,1094,1097,1098,1100,1102,1104,1107,1108,1110,1111,1113,1115,1119,1123,1130,1133,1133,1134,1135,1136,1137,1139,1141,1142,1143,1144,1145,1146,1147,1148,1149,1149,1150,1150,1150,1150,1150,1150,1151,1152,1153,1155,1158,1162,1166,1168,1169,1169,1169,1169,1169,1169,1169,1170,1170,1170,1170,1171,1171,1172,1172,1172,1171,1170,1169,1168,1167,1166,1166,1165,1164,1164,1163,1162,1162,1162,1162,1162,1162,1163,1163,1163,1163,1163,1163,1162,1161,1161,1161,1160,1160,1160,1160,1160,1160,1160,1160,1159,1159,1158,1158,1158,1157,1157,1156,1156,1155,1155,1154,1153,1152,1151,1151,1150,1150,1150,1150,1150,1150,1150,1150,1151,1151,1152,1152,1152,1152,1151,1151,1150,1150,1149,1149,1149,1148,1146,1145,1144,1144,1143,1141,1140,1139,1138,1136,1135,1134,1133,1132,1131,1130,1129,1128,1127,1126,1123,1122,1120,1117,1115,1114,1112,1111,1110,1109,1108,1107,1107,1105,1103,1100,1099,1098,1098,1096,1095,1093,1092,1091,1090,1089,1088,1086,1085,1085,1084,1083,1082,1081,1080,1079,1078,1077,1076,1076,1075,1073,1072,1070,1069,1068,1066,1065,1064,1063,1062,1061,1060,1059,1058,1058,1059,1057,1056,1055,1054,1053,1053,1052,1051,1050,1049,1048,1047,1046,1046,1045,1043,1042,1042,1041,1040,1040,1040,1041,1041,1042,1042,1043,1043,1043,1043,1043,1043,1042,1042,1041,1040,1040,1040,1040,1040,1040,1040,1040,1041,1041,1042,1042,1043,1043,1044,1045,1045,1046,1046,1046,1046,1047,1048,1048,1049,1050,1050,1051,1051,1051,1051,1050,1050,1049,1048,1047,1046,1045,1044,1043,1042,1042,1041,1041,1040,1039,1038,1038,1037,1037,1037,1036,1035,1034,1034,1033,1033,1033,1033,1033,1033,1033,1032,1032,1032,1032,1031,1031,1030,1029,1028,1027,1027,1026,1025,1023,1022,1021,1019,1018,1017,1016,1015,1014,1015,1015,1016,1016,1017,1017,1016,1016,1015,1014,1013,1013,1012,1012,1011,1010,1010,1009,1008,1008,1006,1005,1005,1004,1003,1002,1002,1001,999,997,996,995,994,993,993,992,990,990,989,988,987,986,985,985,984,983,982,982,981,981,980,980,979,978,977,977,976,975,974,973,973,972,971,971,970,970,971,972,973,973,974,975,976,976,977,977,978,978,978,977,977,976,975,974,974,973,972,972,971,970,969,968,968,967,967,966,965,964,964,963,962,961,960,959,958,957,956,956,955,954,954,953,952,951,950,949,948,947,946,946,945,944,943,942,940,940,939,938,938,937,936,935,934,933,932,931,930,929,929,928,927,927,926,926,925,925,924,924,924,924,924,924,925,925,926,926,927,927,927,927,927,926,925,924,923,922,918,917,916,916,915,914,913,912,911,910,909,909,909,909,910,910,910,910,911,912,912,913,913,913,913,914,914,914,915,916,916,916,916,916,916,916,916,915,914,912,909,908,907,907,907,907,907,907,906,905,904,904,903,903,903,903,903,904,906,907,908,909,909,911,912,912,912,913,913,914,915,916,916,917,917,916,916,916,915,915,914,914,914,914,913,913,912,912,911,911,910,910,911,912,912